elastic potential energy stored in spring